Статья 3315

Название статьи

СЕТЕВАЯ МОДЕЛЬ ЯЗЫКА «Т» НА ОСНОВЕ ЦВЕТНЫХ БЕЗОПАСНЫХ ИЕРАРХИЧЕСКИХ РЕКУРСИВНЫХ СЕТЕЙ ПЕТРИ1

Авторы

Пащенко Дмитрий Владимирович, доктор технических наук, профессор, заведующий кафедрой вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), dmitry.pashchenko@gmail.com
Трокоз Дмитрий Анатольевич, кандидат технических наук, доцент, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), dmitriy.trokoz@gmail.com
Мартяшин Георгий Викторович, магистрант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), nowargore@gmail.com
Максимова Кристина Станиславовна, магистрант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), maximovachristina@gmail.com
Бальзанникова Елена Алексеевна, студентка, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), elenabalzannikova@gmail.com

Индекс УДК

004.94

Аннотация

Актуальность и цели. Объектом исследования является разработанный функциональный язык «Т», который применяется для разработки алгоритмов работы распределенной системы управления. Предметом исследования является способ представления функционального языка в виде сетевой модели на основе цветных иерархических безопасных рекурсивных сетей Петри. Цель работы – формальное описание языка «Т» в виде сетевой модели для дальнейшего его использования в области проектирования и представления параллельных вычислительных систем.
Материалы и методы. Формальное описание языка «Т» проведено с использованием модели цветных иерархических безопасных рекурсивных сетей Петри.
Результаты. Даны определение и ограничения языка «Т». Показаны особенности представления данного языка в виде сетевой модели на основе сети Петри.
Выводы. Предложен специальный вид функционального языка – язык «Т», который предназначен для описания алгоритмов распределенной автоматизированной системы управления. Предложенный способ представления данного языка позволит провести моделирование схемы, описанной на языке «Т», с использованием математического аппарата сетей Петри. Кроме того, к схеме, представленной описанным способом, могут быть применены методы тензорного исчисления, а также трансляционные методы преобразования полученных сетевых моделей.

Ключевые слова

Сети Петри, язык «T», рекурсия, ленивые вычисления, тензоры.

 

 Скачать статью в формате PDF

Список литературы

1. Трокоз, Д. А. Особенности трансляции из функционального языка «T» в программный код на языке «C» / Д. А. Трокоз, Е. А. Бальзанникова, Г. В. Мартяшин // Информационные технологии в науке и образовании. Проблемы и перспективы : сб. науч. ст. II ежегодной межвуз. студ. науч.‐прак. конф. – Пенза : Изд-во ПГУ, 2015. – С. 90–93.
2. Пащенко, Д. В. Алгоритм трансляции из функционального языка «T» в программные модули на языке «C» / Д. В. Пащенко, Е. А. Бальзанникова, Д. А. Трокоз // Новые информационные технологии и системы : тр. XI Междунар. науч.-техн. конф. – Пенза : Изд-во ПГУ, 2014. – С. 54–57.
3. Кулагин, В. П. Формирование информационных ресурсов на основе параллельных вычислений / В. П. Кулагин // Перспективы науки и образования. – 2013. – № 6.
4. Кулагин, В. П. Тензорные методы исследования структур сетей Петри / В. П. Кулагин // Информационные технологии. – 2015. – Т. 21, № 2. – С. 84–94.
5. Пащенко, Д. В. Разработка многопоточной модели программного обеспечения экспертной системы авиационных радиолокационных комплексов / Д. В. Пащенко, Д. А. Трокоз // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2011. – № 3 (19). – С. 56–64.
6. Tail recursion / Paul E. Black // Dictionary of Algorithms and Data Structures [online]. – U.S. National Institute of Standards and Technology, 2008. – 14 August.

 

Дата создания: 22.12.2015 15:40
Дата обновления: 24.12.2015 10:15